ETUDE STRUCTURALE ET THERMODYNAMIQUE D'ALLIAGES A BASE DE TUNGSTENE FRITTES EN PRESENCE D'UNE PHASE LIQUIDE. RELATIONS ENTRE LA STRUCTURE ET LES PROPRIETES MECANIQUESMARGARIA T.1975; AO-CNRS-11662; FR.; DA. 1975; PP. 1-55; BIBL. 1 P.; (THESE DOCT.-ING.; UNIV. SCI. MED. GRENOBLE)Thesis

CARACTERISATION STRUCTURALE D'ALLIAGES FRITTES A BASE DE W: W-NI-FE, W-NI-CO ET W-NI-CR.MARGARIA T; ALLIBERT C; DRIOLE J et al.1977; J. LESS-COMMON METALS; NETHERL.; DA. 1977; VOL. 53; NO 1; PP. 85-95; ABS. ANGL.; BIBL. 6 REF.Article

ETUDE DU SYSTEME W-NI-CR A HAUTE TEMPERATURE.MARGARIA T; ALLIBERT C; ANSARA I et al.1976; HIGH TEMPER.-HIGH PRESS.; G.B.; DA. 1976; VOL. 8; NO 4; PP. 451-459; ABS. ANGL.; BIBL. 17 REF.Article

Special Section on FMICS 05MARGARIA, T; MASSINK, M.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, issn 1433-2779, 65 p.Serial Issue

Automatic error location for IN Service DefinitionBRAUN, V; MARGARIA, T; STEFEN, B et al.Lecture notes in computer science. 1998, pp 222-237, issn 0302-9743, isbn 3-540-64367-2Conference Paper

Checking the reliability of socket based communication softwareDE LA CAMARA, Pedro; DEL MAR GALLARDO, Maria; MERINO, Pedro et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 359-374, issn 1433-2779, 16 p.Article

Flexible and reliable process model properties : An integrated approachMARGARIA, T; GRUHN, V.Lecture notes in computer science. 1999, pp 213-227, issn 0302-9743, isbn 3-540-66462-9Conference Paper

Solving scheduling problems by untimed model checking: The clinical chemical analyser case studyWIJS, Anton J; VAN DE POL, Jaco C; BORTNIK, Elena M et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 375-392, issn 1433-2779, 18 p.Article

Microretassures dans les fontes GS : mécanismes et solutions = Micro-shrinkage in ductile-iron : mechanism & solutionSICLARI, R; MARGARIA, T; KOCH, M et al.Hommes et fonderie. 2005, Num 356, pp 22-28, issn 0018-4357, 7 p.Conference Paper

Flush: an example of development by refinements in SCADE/LustreMIKAC, Jan; CASPI, Paul.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 409-418, issn 1433-2779, 10 p.Article

MOSEL: A sound and efficient tool for M2L(Str)KELB, P; MARGARIA, T; MENDLER, M et al.Lecture notes in computer science. 1997, pp 448-451, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Backtracking-free design planning by automatic synthesis in METAFrameMARGARIA, T; STEFFEN, B.Lecture notes in computer science. 1998, pp 188-204, issn 0302-9743, isbn 3-540-64303-6Conference Paper

LearnLib: a framework for extrapolating behavioral modelsRAFFELT, Harald; STEFFEN, Bernhard; BERG, Therese et al.International journal on software tools for technology transfer (Print). 2009, Vol 11, Num 5, pp 393-407, issn 1433-2779, 15 p.Article

The ETI online service in actionBRAUN, V; KREILEDER, J; MARGARIA, T et al.Lecture notes in computer science. 1999, pp 439-443, issn 0302-9743, isbn 3-540-65703-7Conference Paper

Formal methods and customized visualization : A fruitful symbiosisMARGARIA, T; BRAUN, V.Lecture notes in computer science. 1998, pp 190-207, issn 0302-9743, isbn 3-540-64367-2Conference Paper